home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / ch_all next >
Encoding:
Text File  |  1988-11-24  |  433 b   |  32 lines
  1. : 'Check if make all went allright.'
  2.  
  3. bint="$1"
  4.  
  5. errors="no"
  6.  
  7. if test ! -r bin/b
  8. then
  9.     echo "*** Failed to install b in ./bin"
  10.     errors="yes"
  11. fi
  12.  
  13. for f in bed $bint Bed_help
  14. do
  15.     if test ! -r lib/$f
  16.     then
  17.         echo "*** Failed to install $f in ./lib"
  18.         errors="yes"
  19.     fi
  20. done
  21.  
  22. case $errors in
  23. yes)
  24.     exit 1
  25.     ;;
  26. no)
  27.     echo "The './bin/b' command should now work."
  28.     echo "You can try the B interpreter with 'make examples'."
  29.     exit 0
  30.     ;;    
  31. esac
  32.